Improving program comprehension by automatic metamodel abstraction
نویسندگان
چکیده
منابع مشابه
Improving program comprehension by automatic metamodel abstraction
The maintenance of a software system represents an important part in its lifetime. In general, each software system is the subject of different kinds of changes. Bug fixes and a new functionality extensions are the most common reasons for a change. Usually, a change is accomplished by source code modifications. To make such a modification, correct understanding the current state of a system is ...
متن کاملIntroducing Learning into Automatic Program Comprehension
Automatic program comprehension applications, which try to extract programming knowledge from program code, share many features of human program comprehension models. However, the human trait of learning seems to be missing among the shared features. We present an approach to integrate machine learning techniques into automatic program comprehension, and present an example implementation in the...
متن کاملProgram Comprehension Techniques to Improve Automatic Parallelization
Automated program recognition can play a crucial role in overcoming limitations of existing tools for the automatic parallelization of programs for distributed-memory architectu-res. In this paper, we describe the integration of parallelization techniques based on program comprehension into the Vienna Fortran Compilation System (VFCS). After a pattern occurring in a program has been recognized ...
متن کاملAutomatic Probabilistic Program Verification through Random Variable Abstraction
The weakest pre-expectation calculus [20] has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs. We present an automatic method for proving quantitative linear properties on any denumerable state space using iterative backwards fixed point calculation in the general framework of abstract interpretation. In order to accomplish thi...
متن کاملProgram comprehension engines for automatic parallelization: a comparative study
We compare two systems for program comprehension that are targeted towards support of automatic parallelization: the PAP recognizer currently included into the Vi-enna Fortran Compilation System, and the PARAMAT pattern recognizer developed at Saarbr ucken University. We illuminate the main diierences, the advantages and disadvantages of each approach, and show how both approaches may be integr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Science and Information Systems
سال: 2012
ISSN: 1820-0214,2406-1018
DOI: 10.2298/csis110406047v